$a$ [$r$] $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$r$($a$,$b$)